- 双语例句 更多例句
面向对象标准建模语言UML(Unified MOdeling Language)缺乏精确的动态语义。
互联网摘选
A Kind of Reactive SPM and the Expression of Its Dynamic Semantics with XYZ
一种反应式SPM及其动态语义XYZ表示
互联网摘选
Graphical Workflow Process Modeling and its Automata-Based Dynamic Semantics
工作流过程图形建模及基于自动机的动态语义
互联网摘选
为解决这一问题,该文首先构造一个能够用于软部件动态语义检测的抽象描述模型;
互联网摘选
Nevertheless, the dynamic linker accepts the semicolon notation, with the semantics described above.
不过, 动态连接器接受分号符号, 语意如上面描述.
网络文摘精选
这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础。
互联网摘选
- 相关词组
- dynamic condition动态,动力学条件;
- dynamic statement[经] 动态表;
- dynamic braking动力制动,动态制动;
- dynamic allocation动态分配(法);
- dynamic balancer动力平衡器;动平衡机;动平衡器;动平衡试验机;
- dynamic link动态连接,动态链接;
- dynamic analyzer动态分析程序,动态分析器;
- dynamic partition动态分割,动态分区,动态划分;
- dynamic equilibrium动力[动态]平衡;
- dynamic breccia构造角砾岩;
- dynamic page动态页;
- Dynamic Host Configuration Protocol动态主机配置协议;
- dynamic belay制动保护栓;
- dynamic allocator动态分配程序;
- dynamic behavior动态特性;
- dynamic system动力系统;
- dynamic sounding动力测深,动力触探;
- dynamic aerobatics成套特技;
- dynamic buckling动力失稳,动力压屈;
- dynamic viscosity动态粘滞度;
- 今日热词
- 热门搜索
- unknow vt.不知道或不了解;不明原因;未开放;正体不明
- shake v.摇动,抖动;动摇;摇头;颤抖;握手;使非常震惊/烦恼;摆脱;n.摇动;抖动;颤抖;奶昔;
- classman n.优等升级生;精英帮
- interval n.间隔;幕间休息;(数学)区间;
- cancel v.取消,终止;废除,注销;
- corrupt adj.腐败的,贪污的;不诚实的;〈计〉有错误的;v.使堕落,使腐化;破坏;
- repairs n.修理,修补( repair的名词复数 );修补的地方;v.纠正( repair的第三人称单数 );补救;
- knee n.膝;(坐下时)大腿朝上的面;膝部;v.用膝盖顶;
- imaginary adj.想象中的;虚构的;
- despite prep.尽管;虽然;不由自主;即使;尽管(自己)不愿意n.恶意;侮辱;怨恨;轻蔑
- trackpad n.(手指在其上滑动以移动光标的)触控板;
- collar n.衣领;(动物)颈圈;箍;v.抓住,逮住;拦住(某人与其)谈话;
